-
1 bounded model checking
English-Russian dictionary of computer science and programming > bounded model checking
См. также в других словарях:
контроль — 2.7 контроль (control): Примечание В контексте безопасности информационно телекоммуникационных технологий термин «контроль» может считаться синонимом «защитной меры» (см. 2.24). Источник … Словарь-справочник терминов нормативно-технической документации
Корреляция — (Correlation) Корреляция это статистическая взаимосвязь двух или нескольких случайных величин Понятие корреляции, виды корреляции, коэффициент корреляции, корреляционный анализ, корреляция цен, корреляция валютных пар на Форекс Содержание… … Энциклопедия инвестора
РДМУ 109-77: Методические указания. Методика выбора и оптимизации контролируемых параметров технологических процессов — Терминология РДМУ 109 77: Методические указания. Методика выбора и оптимизации контролируемых параметров технологических процессов: 73. Адекватность модели Соответствие модели с экспериментальными данными по выбранному параметру оптимизации с… … Словарь-справочник терминов нормативно-технической документации
Парадокс Эйнштейна — Подольского — Розена — Парадокс Эйнштейна Подольского Розена (ЭПР парадокс) попытка указания на неполноту квантовой механики с помощью мысленного эксперимента, заключающегося в измерении параметров микрообъекта косвенным образом, не оказывая на этот… … Википедия
Парадокс Эйнштейна — Парадокс Эйнштейна Подольского Розена (ЭПР парадокс) попытка указания на неполноту квантовой механики с помощью мысленного эксперимента, заключающегося в измерении параметров микрообъекта косвенным образом, не оказывая на этот… … Википедия